Mendler, Michael:
Constrained proofs: a logic for dealing with behavioural constraints in formal hardware verification
.
In: Jones, G. ; Sheeran, M. (Hrsg.) : Workshop on Designing Correct Circuits.
Berlin u.a. : Springer, 1991, S. 1-28.
Institution: Professur für Grundlagen der Informatik
|
|