Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Xinger, Zhang"'
Publikováno v:
Advances in Civil Engineering and Environmental Engineering, Volume 2 ISBN: 9781003383031
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b518e38fa7f1fc1054a02d6c8b889390
https://doi.org/10.1201/9781003383031-51
https://doi.org/10.1201/9781003383031-51
An approach to executable specifications, based on formal source_to_source conversion.
Autor:
Xinger, Zhang
Publikováno v:
ACM / SIGPLAN Notices; Dec1995, Vol. 30 Issue 12, p51-58, 8p