TY  - CPAPER
AU  - Chupac, Lubos
AU  - Mudron, . Ivan
AU  - Mensik, . Marek
TI  - DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM
T2  - SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 13th SGEM GeoConference on INFORMATICS, GEOINFORMATICS AND REMOTE SENSING
PY  - 2013
SP  - 93 
EP  -  100 pp
DO  - 10.5593/sgem2013/bb2.v1/s07.012
PB  - Stef92 Technology
ER  -