Sciweavers

Share
25 search results - page 1 / 5
» fase 2008
Sort
View
FASE
2008
Springer
11 years 11 months ago
Orthographic Modeling Environment
Colin Atkinson, Dietmar Stoll
FASE
2008
Springer
11 years 11 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff
FASE
2008
Springer
11 years 11 months ago
Contextual Integration Testing of Classes
Giovanni Denaro, Alessandra Gorla, Mauro Pezz&egra...
FASE
2008
Springer
11 years 11 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
books