Login
Document type:
Sonstiges / Other Publication
Title:
Dealing with non-constructive specifications involving quantifiers
Series title:
Research Report MCC
Series volume:
4
Place of publication:
Rio de Janeiro
Publishing institution:
Pontificia Universidade Catolica
Year:
1993
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX