Laura Kovacs, Teimuraz Kutsia,
"Special Issue of the Journal of Applied Logic on Automated Specification and Verification of Web Systems"
, in Journal of Applied Logic, 2012, ISSN: 1570-8683
Original Titel:
Special Issue of the Journal of Applied Logic on Automated Specification and Verification of Web Systems