Inproceedings,

Rechnergestützte statische Analyse des Funktions- und Sofwareentwurfs in EPOS.

, and .
Software Engineering, volume 5 of Berichte des German Chapter of the ACM, page 161-174. Teubner, (1980)

Meta data

Tags

Users

  • @dblp

Comments and Reviews