Jump to : Contact | BibTex reference | EndNote reference |

rr99

V. Rusu, E. Singerman. On proving safety properties by integrating static analysis, theorem proving and abstraction. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), LNCS 1579, An improved version appeared as INRIA research report 3726, available at http://www.inria.fr/rrrt/rr-3726.html, Pages 178-192, 1999.

BibTex Reference

@InProceedings{rr99,
   Author = {Rusu, V. and Singerman, E.},
   Title = {On proving safety properties by integrating static analysis, theorem proving and abstraction},
   BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)},
   Pages = {178--192},
   Series = {LNCS 1579},
   Publisher = {Springer Verlag},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)