scientific article; zbMATH DE number 7030644

DOI10.4230/LIPICS.TYPES.2016.0MaRDI QIDQ4626432zbMATH OpenFDO

Authors

Publication date 27 February 2019

Full work available at URL http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol66-iccsw2018-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) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 7030646
• scientific article; zbMATH DE number 6865904
• scientific article; zbMATH DE number 7359927
• scientific article; zbMATH DE number 7255740
• scientific article; zbMATH DE number 7189130
• scientific article; zbMATH DE number 7725938
• scientific article; zbMATH DE number 7573873
• scientific article; zbMATH DE number 6513112
• scientific article; zbMATH DE number 6325424
• 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8--11, 2011

Cited in

(3)

• scientific article; zbMATH DE number 7189130 (Why is no real title available?)
• scientific article; zbMATH DE number 6865904 (Why is no real title available?)
• On sets of terms having a given intersection type

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 Q4626432)