Janis Barzdins, Dines Bjørner (Eds.):
Baltic Computer Science, Selected Papers.
Lecture Notes in Computer Science 502 Springer 1991, ISBN 3-540-54131-4 BibTeX
@proceedings{DBLP:conf/balt/1991,
editor = {Janis Barzdins and
Dines Bj{\o}rner},
title = {Baltic Computer Science, Selected Papers},
booktitle = {Baltic Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {502},
year = {1991},
isbn = {3-540-54131-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Deductive Synthesis of Programs
Inductive Synthesis of Programs
Automatic Test Case Generation
Specification and Verification of Distributed Systems
Miscellaneous
Copyright © Sat May 16 22:59:18 2009
by Michael Ley (ley@uni-trier.de)