Applications of structural synthesis of programs
statement of authorship
Enn Tyugu, Mihhail Matskin, and Jaan Penjam
source
Proceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France
location of publication
Berlin
publisher
year of publication
pages
p. 551-569
subject term
notes
(Lecture notes in computer science ; 1708)
language
inglise
Tõugu, E., Matskin, M., Penjam, J. Applications of structural synthesis of programs // Proceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France. Berlin : Springer, 1999. p. 551-569.