bibtex

@article{ABB+5,
    title = {Model checking recursive programs interacting via the heap },
    author = {Asavoae, Irina and Boer, Frank S. de and Bonsangue, Marcello and Lucanu, Dorel and Rot, Jurriaan},
    year = {2015},
    journal = {Sci. Comput. Program.},
    pages = {61--83},
    volume = {100},
    team = {PACSS},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4092543