Andrey Novikov

List of publications from the DBLP Bibliography Server - FAQ

2005

1 EE Andrey Novikov, Rostislav Yavorskiy: Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. Abstract State Machines 2005: 305-312

2005
1	EE	Andrey Novikov, Rostislav Yavorskiy: Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. Abstract State Machines 2005: 305-312

Coauthor Index