APA (7th ed.) Citation

Mordvinov, D. A. Property-Directed Inference of Relational Invariants. Yaroslavl State University.

Chicago Style (17th ed.) Citation

Mordvinov, Dmitry A. Property-Directed Inference of Relational Invariants. Yaroslavl State University.

MLA (9th ed.) Citation

Mordvinov, Dmitry A. Property-Directed Inference of Relational Invariants. Yaroslavl State University.

Warning: These citations may not always be 100% accurate.