scientific article; zbMATH DE number 922797

zbMATH Open0960.68615MaRDI QIDQ4893335FDOQ4893335

Ashwini Nanda, Laxmi N. Bhuyan

Publication date: 17 May 2001

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