scientific article; zbMATH DE number 2013578

zbMATH Open1028.68761MaRDI QIDQ4436962FDOQ4436962

Authors: Stefan Hallerstede 

Publication date: 4 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2651/26510101.htm

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

Recommendations

• scientific article; zbMATH DE number 2080014
• The use of \(B\) to specify, design and verify hardware
• scientific article; zbMATH DE number 3943033
• scientific article; zbMATH DE number 711039
• scientific article; zbMATH DE number 4011943

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Cited In (3)

• On the purpose of Event-B proof obligations
• Title not available (Why is that?)
• On the Purpose of Event-B Proof Obligations

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