Publications
Export 1 results:
Filters: Keyword is testing [Clear All Filters]
"An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
,