scientific article; zbMATH DE number 6536268
From MaRDI portal
Publication:3464617
zbMATH Open1346.68067MaRDI QIDQ3464617FDOQ3464617
Authors: Bruce W. Weide 
Publication date: 27 January 2016
Title of this publication is not available (Why is that?)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q3464617)
