scientific article; zbMATH DE number 7311345
From MaRDI portal
Publication:5151039
zbMath1456.68027MaRDI QIDQ5151039
Ukachukwu Ndukwu, Annabelle McIver
Publication date: 16 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2010.9
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication:
