Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt. Formal Software Development in the Verification Support Environment (VSE). In James N. Etheredge, Bill Z. Manaris, editors, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. pages 367-376, AAAI Press, 2000.
@inproceedings{HutterRSSV00,
title = {Formal Software Development in the Verification Support Environment (VSE)},
author = {Dieter Hutter and Georg Rock and Jörg H. Siekmann and Werner Stephan and Roland Vogt},
year = {2000},
tags = {meta-model, model-driven development, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/HutterRSSV00},
cites = {0},
citedby = {0},
pages = {367-376},
booktitle = {Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA},
editor = {James N. Etheredge and Bill Z. Manaris},
publisher = {AAAI Press},
isbn = {1-57735-113-4},
}