Sciweavers

15799 search results - page 372 / 3160
» Software engineering: a roadmap
Sort
View
FASE
2008
Springer
15 years 8 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
IESA
2007
15 years 8 months ago
Enabling Interoperability in the Area of Multi-Brand Vehicle Configuration
Michael Klein, Ulrike Greiner, Thomas Genßle...