A UNIVERSE OF STRICTLY POSITIVE FAMILIES
From MaRDI portal
Publication:3620616
DOI10.1142/S0129054109006462zbMath1170.68432WikidataQ61583824 ScholiaQ61583824MaRDI QIDQ3620616
Peter A. Morris, Neil Ghani, Thorsten Altenkirch
Publication date: 14 April 2009
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work