|
 
|
[JBD11] Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.
Conférence Internationale avec comité de lecture : Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, November 2011, Vol. 7041, pp.253-268, Series LNCS, Montevideo, Uruguay,
motcle:
Résumé:
nnn
Equipe:
sys
BibTeX
| @inproceedings { | |||
| JBD11, | |||
| title | = | "{Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.}", | |
| author | = | " M. Jacquel and K. Berkani and D. Delahaye and C. Dubois ", | |
| booktitle | = | "{Software Engineering and Formal Methods - 9th International Conference, SEFM 2011}", | |
| year | = | 2011, | |
| month | = | "November", | |
| series | = | "LNCS", | |
| volume | = | 7041, | |
| pages | = | "253-268", | |
| address | = | "Montevideo, Uruguay", | |
| } | |||
