Treffer: CleanJava: A Formal Notation for Functional Program Verification
Title:
CleanJava: A Formal Notation for Functional Program Verification
Authors:
Source:
2011 Eighth International Conference on Information Technology: New Generations Information Technology: New Generations (ITNG), 2011 Eighth International Conference on. :221-226 Apr, 2011
Relation:
2011 Eighth International Conference on Information Technology: New Generations (ITNG)
Database:
IEEE Xplore Digital Library