Back to Search
Start Over
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.
- Source :
- 14th IEEE International Conference on Program Comprehension (ICPC'06); 2006, p202-211, 10p
- Publication Year :
- 2006
Details
- Language :
- English
- ISBNs :
- 9780769526010
- Database :
- Complementary Index
- Journal :
- 14th IEEE International Conference on Program Comprehension (ICPC'06)
- Publication Type :
- Conference
- Accession number :
- 80756824
- Full Text :
- https://doi.org/10.1109/ICPC.2006.10