Improving the Consistency Checking Process by Reusing Formal Verification Knowledge

Áreas de investigación:	Sin categoría	Año:	2003
Tipo de publicación:	Artículo en conferencia
Autores:	3, 4 2
Volumen:	2890
Título del libro:	Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI)
Serie:	Lecture Notes in Computer Science, LNCS	Páginas:	366-380
Dirección:	Akademgorodok, Novosibirsk, Russia
Mes:	Julio
BibTex:
@conference{DPFGG03, author = "3,2,4,12,5", address = "Akademgorodok, Novosibirsk, Russia", booktitle = "Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI)", month = "jul", pages = "366--380", series = "Lecture Notes in Computer Science, LNCS", title = "{I}mproving the {C}onsistency {C}hecking {P}rocess by {R}eusing {F}ormal {V}erification {K}nowledge", volume = "2890", year = "2003", }