Software Verification in the Google App-Engine Cloud

  • Dirk Beyer, Georg Dresler, Philipp Wendler
  • January 2014, Springer Science + Business Media
  • DOI: 10.1007/978-3-319-08867-9_21

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/978-3-319-08867-9_21