scientific article; zbMATH DE number 546597
From MaRDI portal
Publication:4286764
zbMATH Open0811.68038MaRDI QIDQ4286764FDOQ4286764
Authors: Wolfgang Stein
Publication date: 11 April 1994
Title of this publication is not available (Why is that?)
Recommendations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cited In (13)
- Deferring elimination of design alternatives in object-oriented methods
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- LSP method and its use for evaluation of Java IDEs
- Title not available (Why is that?)
- Overview of object oriented data analysis
- Fuzzy extensions for relationships in a generalized object model
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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 Q4286764)