I. N. Mikhailov

List of publications from the DBLP Bibliography Server - FAQ

2002

1 EE V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky: Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Programming and Computer Software 28(6): 314-323 (2002)

2002
1	EE	V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky: Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Programming and Computer Software 28(6): 314-323 (2002)

Coauthor Index

1	Igor S. Anureev	[1]
2	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[1]
3	Alexey V. Promsky	[1]