Publication:4259992
From MaRDI portal
zbMath0924.68124MaRDI QIDQ4259992
Moshe Y. Vardi, Orna Kupferman
Publication date: 8 September 1999
Full work available at URL: http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/2/contents.html
68Q60: Specification and verification (program logics, model checking, etc.)