1
Veröffentlicht 2007
Inhaltsangabe: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2007
Inhaltsangabe: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
Volltext
Elektronisch E-Book