TY - CPAPER AU - Lubos Chupac 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 DO - 10.5593/sgem2013/bb2.v1/s07.012 PB - Stef92 Technology ER -