Applications of structural synthesis of programs
author
Tõugu, Enn
Matskin, Mihhail
Penjam, Jaan
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
Springer
year of publication
1999
pages
p. 551-569
subject term
struktuurprogrammeerimine
notes
(Lecture notes in computer science ; 1708)
language
inglise