Sciweavers

187 search results - page 1 / 38
» tools 1994
Sort
View
TOOLS
1994
IEEE
13 years 9 months ago
Constraints in Object-Oriented Analysis and Design
Stefan Van Baelen, Johan Lewi, Eric Steegmans
CAV
1994
Springer
102views Hardware» more  CAV 1994»
13 years 8 months ago
The Mobility Workbench - A Tool for the pi-Calculus
Björn Victor, Faron Moller