scientific article
From MaRDI portal
Publication:2957477
DOI10.4230/LIPIcs.FSTTCS.2012.4zbMath1354.68053MaRDI QIDQ2957477
Mikołaj Bojańczyk, Szymon Toruńczyk
Publication date: 26 January 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication:
