%0 Conference Paper %1 conf/fase/KahrsS98 %A Kahrs, Stefan %A Sannella, Donald %B FASE %D 1998 %E Astesiano, Egidio %I Springer %K dblp %P 154-170 %T Reflections on the Design of a Specification language. %U http://dblp.uni-trier.de/db/conf/fase/fase98.html#KahrsS98 %V 1382 %@ 3-540-64303-6

@inproceedings{conf/fase/KahrsS98, added-at = {2021-07-25T00:00:00.000+0200}, author = {Kahrs, Stefan and Sannella, Donald}, biburl = {https://www.bibsonomy.org/bibtex/21d9301e3cb9cfee877df666baeda76f0/dblp}, booktitle = {FASE}, crossref = {conf/fase/1998}, editor = {Astesiano, Egidio}, ee = {https://doi.org/10.1007/BFb0053589}, interhash = {11908cf3e3c804c47f1182e0ca6ea006}, intrahash = {1d9301e3cb9cfee877df666baeda76f0}, isbn = {3-540-64303-6}, keywords = {dblp}, pages = {154-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:03:39.000+0200}, title = {Reflections on the Design of a Specification language.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase98.html#KahrsS98}, volume = 1382, year = 1998 }