Improving the Consistency Checking Process by Reusing Formal Verification Knowledge

Research areas:	Uncategorized	Year:	2003
Type of Publication:	In Proceedings
Authors:	3, 4 2
Volume:	2890
Book title:	Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI)
Series:	Lecture Notes in Computer Science, LNCS	Pages:	366-380
Address:	Akademgorodok, Novosibirsk, Russia
Month:	July
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", }