Some methods of automatic analysis and controllable transformation of programs
From MaRDI portal
Publication:1003024
DOI10.1134/S0005117908080158zbMath1167.68364MaRDI QIDQ1003024
M. A. Potapov, E. A. Shatokhin
Publication date: 26 February 2009
Published in: Automation and Remote Control (Search for Journal in Brave)
Uses Software
Cites Work
This page was built for publication: Some methods of automatic analysis and controllable transformation of programs