Foundations of Component-Based Systems
Gary T. Leavens
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in ...