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