Sciweavers

187 search results - page 1 / 38
» tools 1994
Sort
View
139
Voted
TOOLS
1994
IEEE
15 years 9 months ago
Constraints in Object-Oriented Analysis and Design
Stefan Van Baelen, Johan Lewi, Eric Steegmans
140
Voted
PLDI
1994
ACM
15 years 9 months ago
ATOM - A System for Building Customized Program Analysis Tools
Amitabh Srivastava, Alan Eustace
119
Voted
CAV
1994
Springer
102views Hardware» more  CAV 1994»
15 years 9 months ago
The Mobility Workbench - A Tool for the pi-Calculus
Björn Victor, Faron Moller