Jan Kubovy, Josef Küng,
"Embedding formal models into Latex documents"
: Journal of Science and Technology VAST Vietnam, Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2014, Serie Journal of Science and Technology, Vol. 52, Nummer 4A, Seite(n) 83-90, 11-2014
Original Titel:
Embedding formal models into Latex documents
Sprache des Titels:
Englisch
Original Buchtitel:
Journal of Science and Technology VAST Vietnam, Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2014