scientific article

zbMATH Open1122.68038MaRDI QIDQ3596461

David A. Plaisted

Publication date: 31 August 2007

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

zbMATH Keywords

program verificationprogram generation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Abstract data type systems 👍 👎
• A System for Axiomatic Programming 👍 👎
• Systematic abstraction of abstract machines 👍 👎
• Program abstraction and instantiation 👍 👎

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