Lesezeichen

Software System Verification and Program Derivation.

http://dblp.uni-trier.de/db/conf/gait/gait1999.html#X99

Beschreibung

conf/gait/X99, Software System Verification and Program Derivation., German-Argentinian Workshop on Information Technology, 31-38, 1999, http://dblp.uni-trier.de/db/conf/gait/gait1999.html#X99

Vorschau

Nutzer

Kommentare und Rezensionenanzeigen / verbergen

Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.

BibSonomy