Search
Programming assistance based on contracts and modular verification in the automation domain
Hurnaus D., Prähofer H. SAC 2010 (Proceedings of the 2010 ACM Symposium on Applied Computing, Sierre, Switzerland, Mar 22-26, 2010)2544-2551,2010.Type:Proceedings
To:
Your Colleague's E-mail:
From:
Your E-mail:
Subject:
Reviews: Programming assistance based on contracts and modular verification in the automation domain
Message Body:
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy