Automated verification of programs and Web systems

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

doi:10.1016/j.jlamp.2016.06.005

Automated verification of programs and Web systems

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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	653-654
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	85
Issue number	5
DOIs	https://doi.org/10.1016/j.jlamp.2016.06.005
Publication status	Published - Aug 2016

Keywords

Computer Science
Theory & Methods
Logic

Access to Document

10.1016/j.jlamp.2016.06.005Licence: CC BY-NC-ND

Cite this

@article{adfe3ac59a91459c825f199536973ee4,

title = "Automated verification of programs and Web systems",

keywords = "Computer Science, Theory \& Methods, Logic",

author = "\{ter Beek\}, \{Maurice H.\} and Alexei Lisitsa and Nemytykh, \{Andrei P.\} and Ant{\'o}nio Ravara",

note = "sem pdf conforme despacho.",

year = "2016",

month = aug,

doi = "10.1016/j.jlamp.2016.06.005",

language = "English",

volume = "85",

pages = "653--654",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2216",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - Automated verification of programs and Web systems

AU - ter Beek, Maurice H.

AU - Lisitsa, Alexei

AU - Nemytykh, Andrei P.

AU - Ravara, António

N1 - sem pdf conforme despacho.

PY - 2016/8

Y1 - 2016/8

KW - Computer Science

KW - Theory & Methods

KW - Logic

UR - https://www.scopus.com/pages/publications/84977605411

U2 - 10.1016/j.jlamp.2016.06.005

DO - 10.1016/j.jlamp.2016.06.005

M3 - Article

AN - SCOPUS:84977605411

SN - 2352-2216

VL - 85

SP - 653

EP - 654

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 5

ER -

Automated verification of programs and Web systems

Keywords

Access to Document

Other files and links

Cite this