65 Ergebnisse zu (keywords_en:VERIFICATION)

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 3

1 2 3 nächste › letzte »

1. Automatic verification of Pascal programs

Marmier, Edouard (1975)


Dissertationen und Habilitationen

14. Verifying spec# delegates

Gantner, Samuele (2008)


Masterarbeiten

23. Rumer

Balzer, Stephanie (2011)


Dissertationen und Habilitationen


Seite 1 von 3

1 2 3 nächste › letzte »