Herbert Prähofer, Dominik Hurnaus,
"Programming Assistance Based on Contracts and Modular Verification in the Automation Domain"
: ACM Symposium on Applied Computing, Sierre, Switzerland, 2009
Original Titel:
Programming Assistance Based on Contracts and Modular Verification in the Automation Domain
Sprache des Titels:
Englisch
Original Buchtitel:
ACM Symposium on Applied Computing, Sierre, Switzerland
Erscheinungsjahr:
2009
Notiz zur Publikation:
ACM Symposium on Applied Computing, Sierre, Switzerland, March 2010. (accepted for publication).
Forschungs-