Automated verification of programs and Web systems

Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)653-654
JournalJournal of Logical and Algebraic Methods in Programming
Volume85
Issue number5
DOIs
Publication statusAccepted/In press - 2016

Keywords

  • Computer Science
  • Theory & Methods
  • Logic

Cite this