scientific article; zbMATH DE number 7030644
From MaRDI portal
Publication:4626432
DOI10.4230/LIPICS.TYPES.2016.0zbMath1407.68033MaRDI QIDQ4626432
No author found.
Publication date: 27 February 2019
Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol66-iccsw2018-complete.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: