Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/amast/BertL91
%A Bert, Didier
%A Lafontaine, Christine
%B AMAST
%D 1991
%E Nivat, Maurice
%E Rattray, Charles
%E Rus, Teodor
%E Scollo, Giuseppe
%I Springer
%K
%P 467-477
%T Integration of Semantical Verification Conditions in a Specification Language Definition.
%U http://dblp.uni-trier.de/db/conf/amast/amast1991.html#BertL91
%@ 3-540-19797-4
@inproceedings{conf/amast/BertL91,
added-at = {2023-12-13T01:32:16.000+0100},
author = {Bert, Didier and Lafontaine, Christine},
biburl = {https://www.bibsonomy.org/bibtex/2003821428b84c9c61c713acd40999435/admin},
booktitle = {AMAST},
crossref = {conf/amast/1991},
date = {2003-02-18},
editor = {Nivat, Maurice and Rattray, Charles and Rus, Teodor and Scollo, Giuseppe},
interhash = {72f418542721d5d774c35a859d5005d7},
intrahash = {003821428b84c9c61c713acd40999435},
isbn = {3-540-19797-4},
keywords = {},
pages = {467-477},
publisher = {Springer},
series = {Workshops in Computing},
timestamp = {2023-12-13T01:32:16.000+0100},
title = {Integration of Semantical Verification Conditions in a Specification Language Definition.},
url = {http://dblp.uni-trier.de/db/conf/amast/amast1991.html#BertL91},
year = 1991
}