![]() | Up a level |
Lopez, Victoria and Montero de Juan, Francisco Javier and Tinguaro Rodríguez, J. (2010) Formal Specification and Implementation of Computational. In Computational Intelligence: Foundations and Applications, Proceedings of the 9th International FLINS Conference (World Scientific Proceedings Series on Computer Engineering and Information Science). World Scientific Proceedings Series on Computer Engineering and Information Science, 4 (4). World Scientific Publishing Company , pp. 523-528. ISBN 9789814324694