scientific article; zbMATH DE number 5967629

zbMATH Open1240.68129MaRDI QIDQ3095689FDOQ3095689

Authors: Tudor Bălănescu 

Publication date: 3 November 2011

Title of this publication is not available (Why is that?)

zbMATH Keywords

formal verificationformal testinginformal validation

Mathematics Subject Classification ID

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