Victor Malyshkin. On Implementability of the Formal Specifications. In Hamido Fujita, Domenico M. Pisanelli, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy. Volume 161 of Frontiers in Artificial Intelligence and Applications, pages 355-360, IOS Press, 2007.
@inproceedings{Malyshkin07,
title = {On Implementability of the Formal Specifications},
author = {Victor Malyshkin},
year = {2007},
researchr = {https://researchr.org/publication/Malyshkin07},
cites = {0},
citedby = {0},
pages = {355-360},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy},
editor = {Hamido Fujita and Domenico M. Pisanelli},
volume = {161},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-794-9},
}