Fawzi Albalooshi, Fred Long. Multiple view environment supporting VDM and Ada. IEE Proceedings - Software, 146(4):203-219, 1999.
@article{AlbalooshiL99, title = {Multiple view environment supporting VDM and Ada}, author = {Fawzi Albalooshi and Fred Long}, year = {1999}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/AlbalooshiL99}, cites = {0}, citedby = {0}, journal = {IEE Proceedings - Software}, volume = {146}, number = {4}, pages = {203-219}, }