Back to Search Start Over

Integrating Theories and Techniques for Program Modelling, Design and Verification

Authors :
Bernard K. Aichernig
He Jifeng
Mike Reed
Zhiming Liu
Source :
Verified Software: Theories, Tools, Experiments ISBN: 9783540691471, VSTTE
Publication Year :
2008
Publisher :
Springer Berlin Heidelberg, 2008.

Abstract

This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.

Subjects

Subjects :
Engineering management
Knowledge management
Computer science
business.industry
Position (finance)
business

Details

ISBN :
978-3-540-69147-1
ISBNs :
9783540691471
Database :
OpenAIRE
Journal :
Verified Software: Theories, Tools, Experiments ISBN: 9783540691471, VSTTE
Accession number :
edsair.doi...........a56cd5703d2c59baa55e590e25b132ad
Full Text :
https://doi.org/10.1007/978-3-540-69149-5_31
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details