"Automated Software Engineering: Special Issue on Precise Semantics for ..."

T. S. E. Maibaum, Bernhard Rumpe (2000)

Details and statistics

DOI: 10.1023/A:1008714925733

access: closed

type: Journal Article

metadata version: 2017-05-18

a service of  Schloss Dagstuhl - Leibniz Center for Informatics