@inproceedings{instance1605,
	 title = {{Objektorientierte, halbformale Spezifikation mit SPADES}},
	 year = {1987},
	 note = {163--174},
	 volume = {121},
	 series = {GMD Studien},
	 booktitle = {Requirements Engineering '87},
	 Date-Added = {2026-08-02 22:38:36},
	 Date-Modified = {2026-08-02 22:38:36}
}