Persons: Kropacheva, Mariya Sergeevna

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Kropacheva, Mariya Sergeevna

	Publications in Math-Net.Ru	Citations
	2012
1.	M. S. Kropacheva, A. I. Legalov, “Formal Verification of Programs in Functional Dataflow Parallel Language”, Model. Anal. Inform. Sist., 19:5 (2012), 81–99	1
2.	A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva, “Tail Recursion Transformation in Functional Dataflow Parallel Programs”, Model. Anal. Inform. Sist., 19:4 (2012), 48–58

Organisations