@inproceedings{sgem2013s07012,
  title = {DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM},
  author = {Lubos Chupac},
  booktitle = {SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 13th SGEM GeoConference on INFORMATICS, GEOINFORMATICS AND REMOTE SENSING},
  year = {2013},
  pages = {},
  publisher = {Stef92 Technology},
  doi = {10.5593/sgem2013/bb2.v1/s07.012}
}