Verified Software Theories Tools Experiments 4th International Conference Vstte 2012 Philadelphia Pa Usa January 2829 2012 Proceedings

Verified Software Theories Tools Experiments 4th International Conference Vstte 2012 Philadelphia Pa Usa January 2829 2012 Proceedings
Details
- OL Work ID
- OL17522399W
Subjects
Computer programs