APA (7th ed.) Citation

Kropacheva, M. S., & Legalov, A. I. (2015). Formal Verification of Programs in Functional Dataflow Parallel Language. Yaroslavl State University.

Chicago Style (17th ed.) Citation

Kropacheva, M. S., and A. I. Legalov. Formal Verification of Programs in Functional Dataflow Parallel Language. Yaroslavl State University, 2015.

MLA (9th ed.) Citation

Kropacheva, M. S., and A. I. Legalov. Formal Verification of Programs in Functional Dataflow Parallel Language. Yaroslavl State University, 2015.

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