scientific article; zbMATH DE number 7638380

DOI10.4230/LIPICS.FSTTCS.2022.0MaRDI QIDQ5872928zbMATH OpenFDO

Authors

Publication date 4 January 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2022/17391/pdf/lipics-vol250-fsttcs2022-complete.pdf

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Recommendations

• scientific article; zbMATH DE number 5895310
• Front Matter, Table of Contents, Preface, Conference Organization
• scientific article; zbMATH DE number 6677774
• scientific article; zbMATH DE number 7189134
• scientific article; zbMATH DE number 7489398
• scientific article; zbMATH DE number 6864755
• scientific article; zbMATH DE number 5895307
• IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12--14, 2011
• Front Matter, Table of Contents, Preface, Conference Organization
• scientific article; zbMATH DE number 6125957

Cited in

(3)

• scientific article; zbMATH DE number 7559867 (Why is no real title available?)
• Front Matter, Table of Contents, Preface, Conference Organization
• scientific article; zbMATH DE number 5895310 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5872928)