Search for persons
X
?
2
Formal methods and software engineering
8th International Conference on Formal Engineering Methods,...
Lecture notes in computer science ; 4260
?
3
Mathematical frameworks for component software: models for ..
Series on component-based software development, v. 2