Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Electronic Notes in Theoretical Computer Science, 141(3):153-169, 2005. [doi]
@article{BodeveixCFS05, title = {Towards formalising AADL in Proof Assistants}, author = {Jean-Paul Bodeveix and David Chemouil and Mamoun Filali and Martin Strecker}, year = {2005}, doi = {10.1016/j.entcs.2005.05.008}, url = {http://dx.doi.org/10.1016/j.entcs.2005.05.008}, tags = {proof assistant}, researchr = {https://researchr.org/publication/BodeveixCFS05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {141}, number = {3}, pages = {153-169}, }