Results 301 to 310 of about 2,188,915 (311)
Some of the next articles are maybe not open access.
Logical verification and equational verification
ACM SIGACT News, 2005There were some errors in the last article of the Logic Column. Thanks to Claudia Zepeda for spotting them. They have been corrected in the online version of the article, available from the CORR archive at http://arxiv.org/abs/cs.LO/0502031. All articles published in this column are archived at CORR; the following URL will return them all: http://arxiv.
openaire +1 more source
Hierarchical verification using verification diagrams
1996I. A. Browne, Z. Manna, H. B. Sipma
openaire +1 more source