Editorial for the JLAMP special issue on automated specification and verification of web systems
type: Item
instance of: scholarly article
title: Editorial for the JLAMP special issue on automated specification and verification of web systems
zbMATH Open document ID: 1314.00114
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2015-06-15T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 6446129
MaRDI profile type: Publication
full work available at URL: j.jlamp.2015.04.001
OpenAlex ID: W2220327434
DOI: 10.1016/J.JLAMP.2015.04.001
description: scientific article