See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Applications of structural synthesis of programs

Tyugu, E.; Matskin, M.; Penjam, J. (1999). Applications of structural synthesis of programs. FM'99-Formal Methods, 1708: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Ed. Wing,J. Berlin: Springer, 551−569. (Lecture Notes in Computer Science).10.1007/3-540-48119-2_31.
publitseeritud konverentsiettekanne
Tyugu, E.; Matskin, M.; Penjam, J.
  • Inglise
FM'99-Formal Methods
Wing,J.
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Berlin
Springer
0302-9743
3-540-66587-0
1708
Lecture Notes in Computer Science
1999
551569
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Lisainfo

ISI SCI; ISI Proceedings ; Scopus