E. V. Bodin

	2008
2		Nikolay V. Shilov, Igor S. Anureev, E. V. Bodin: Generation of correctness conditions for imperative programs. Programming and Computer Software 34(6): 307-321 (2008)
	2002
1		V. A. Nepomniaschy, Nikolay V. Shilov, E. V. Bodin, Vitaly E. Kozura: Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. IFM 2002: 69-88

Coauthor Index

1	Igor S. Anureev	[2]
2	Vitaly Kozyura (Vitali Kozioura, Vitaly E. Kozura)	[1]
3	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[1]
4	Nikolay V. Shilov	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page