scientific article; zbMATH DE number 795671

zbMATH Open0831.68063MaRDI QIDQ4845489FDOQ4845489

Authors: Ben Potter, J. E. Sinclair, David Till 

Publication date: 12 September 1995

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

Recommendations

• scientific article; zbMATH DE number 50069
• scientific article; zbMATH DE number 977451
• scientific article; zbMATH DE number 49474
• scientific article; zbMATH DE number 605917
• scientific article; zbMATH DE number 795667

zbMATH Keywords

formal specificationlanguage \(Z\)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• OBJ3

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