Design and validation of a C++ code generator from Abstract State Machines specifications (bibtex)
by Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
View PDF
Reference:
Design and validation of a C++ code generator from Abstract State Machines specifications (Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor), In J. Softw. Evol. Process., volume 32, 2020.
Bibtex Entry:
@Article{DBLP:journals/smr/BonfantiGM20,
  author    = {Silvia Bonfanti and Angelo Gargantini and Atif Mashkoor},
  journal   = {J. Softw. Evol. Process.},
  title     = {Design and validation of a {C++} code generator from Abstract State Machines specifications},
  year      = {2020},
  number    = {2},
  volume    = {32},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/journals/smr/BonfantiGM20.bib},
  doi       = {10.1002/smr.2205},
  file      = {:Journals/JSEP 2020 - Design and validation of a C++code generator from Abstract State Machines specifications/Design and validation of a C++ code generator from Abstract State Machine specifications-preprint.pdf:PDF},
  keywords  = {SCCH, LIT Secure and Correct Systems Lab},
  timestamp = {Fri, 22 May 2020 21:53:47 +0200},
  url       = {https://doi.org/10.1002/smr.2205},
}
Powered by bibtexbrowser