Old Web
English
Sign In
Acemap
>
Paper
>
Formalized program specifications and transformation synthesis
Formalized program specifications and transformation synthesis
1993
G. E. Tseitlin
E. L. Yushchenko
Keywords:
Discrete mathematics
Theoretical computer science
Mathematics
Program derivation
Mathematical optimization
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
19
References
4
Citations
NaN
KQI
[]