20022020
If you made any changes in Pure, your changes will be visible here soon.

Research Output 2002 2020

Filter
Conference article
2005

IIV: An invisible invariant verifier

Balaban, I., Fang, Y., Pnueli, A. & Zuck, L. D., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 408-412 5 p.

Research output: Contribution to journalConference article

Invariant