Applications of structural synthesis of programs
vastutusandmed
Enn Tyugu, Mihhail Matskin, and Jaan Penjam
allikas
Proceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 551-569
märkused
(Lecture notes in computer science ; 1708)
keel
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.