article · Theoretical Computer Science · 2014

Program verification using symbolic game semantics

Cited by 21Open access

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Dimovski, A. S. (2014). Program verification using symbolic game semantics. Theoretical Computer Science, 560, 364–379. https://doi.org/10.1016/j.tcs.2014.01.016

MLA 9

Dimovski, Aleksandar S. “Program verification using symbolic game semantics.” Theoretical Computer Science, vol. 560, 2014, pp. 364–79, https://doi.org/10.1016/j.tcs.2014.01.016.

Chicago

Dimovski, Aleksandar S. 2014. “Program verification using symbolic game semantics.” Theoretical Computer Science 560: 364–79. https://doi.org/10.1016/j.tcs.2014.01.016.

Harvard

Dimovski, A.S. (2014) ‘Program verification using symbolic game semantics’, Theoretical Computer Science, 560, pp. 364–379. Available at: https://doi.org/10.1016/j.tcs.2014.01.016.

BibTeX

@article{dimovski2014program,
  title = {{Program verification using symbolic game semantics}},
  author = {Dimovski, Aleksandar S.},
  journal = {Theoretical Computer Science},
  volume = {560},
  pages = {364--379},
  year = {2014},
  doi = {10.1016/j.tcs.2014.01.016}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.