|
ComputingReviews.com
|
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 |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|