Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/adt/SannellaW83
%A Sannella, Donald
%A Wirsing, Martin
%B ADT
%D 1983
%E Broy, Manfred
%E Wirsing, Martin
%I University of Passau
%K dblp
%T A Kernel Language for Algebraic Specification and Implementation.
%U http://dblp.uni-trier.de/db/conf/adt/adt1983.html#SannellaW83
@inproceedings{conf/adt/SannellaW83,
added-at = {2019-07-19T00:00:00.000+0200},
author = {Sannella, Donald and Wirsing, Martin},
biburl = {https://www.bibsonomy.org/bibtex/2c2f9bdbdc28bf5bac1ff408696d0eb58/dblp},
booktitle = {ADT},
crossref = {conf/adt/1983},
editor = {Broy, Manfred and Wirsing, Martin},
interhash = {c796a6f19bb07e91bc17668863ed72d5},
intrahash = {c2f9bdbdc28bf5bac1ff408696d0eb58},
keywords = {dblp},
publisher = {University of Passau},
timestamp = {2019-07-20T11:38:58.000+0200},
title = {A Kernel Language for Algebraic Specification and Implementation.},
url = {http://dblp.uni-trier.de/db/conf/adt/adt1983.html#SannellaW83},
year = 1983
}