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
notes
(Lecture notes in computer science ; 1708)
language
inglise
subject term
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.