BibSLEIGH - Implementation of Parameterised Specifications
BibSLEIGH - Implementation of Parameterised Specifications Donald Sannella, Martin Wirsing Implementation of Parameterised Specifications ICALP, 1982. ICALP 1982 DBLP Scholar DOI @inproceedings[object]"", doi = "" 10.1007/BFb0012793 "", isbn = ""3-540-11576-5"", pages = ""473--488"", publisher = ""[object]"", series = ""[object]"", title = ""[object]"", volume = 140, year = 1982, } Tags: #implementation #specification Bibliography of Software Language Engineering in Generated Hypertext ( BibSLEIGH ) is created and maintained by Dr.