scientific article; zbMATH DE number 7238914

zbMATH Open1440.68172MaRDI QIDQ5116417FDOQ5116417

Mario Benevides, Isaque M. S. Lima, Paulo A. S. Veloso, Sheila R. M. Veloso

Publication date: 25 August 2020

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

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