Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction).
Michel SintzoffPublished in: Sci. Comput. Program. (1996)
Keyphrases
- selected papers
- computer science
- annual conference
- invited talk
- international workshop
- special issue
- review process
- construction process
- dagstuhl castle
- computer assisted instruction
- program committee
- conference proceedings
- test cases
- information systems
- data sets
- static analysis
- lecture notes
- electrical engineering
- program execution
- elementary students