Andrey Novikov
According to our database1,
Andrey Novikov
authored at least 4 papers
between 2005 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019
2005
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005