I. V. Dubranovskii

List of publications from the DBLP Bibliography Server - FAQ

2006

1 EE V. A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky: Towards verification of C# programs: A three-level approach. Programming and Computer Software 32(4): 190-202 (2006)

2006
1	EE	V. A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky: Towards verification of C# programs: A three-level approach. Programming and Computer Software 32(4): 190-202 (2006)

Coauthor Index

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