No label defined (Q4934522)

From MaRDI portal

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: Publication:4934522

scientific article; zbMATH DE number 1390241

Language	Label	Description	Also known as
default for all languages	No label defined
English	No label defined	scientific article; zbMATH DE number 1390241

Statements

scholarly article

0 references

publication date

9 April 2000

0 references

zbMATH Keywords

formal software development

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

Recommended article

Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)

Similarity Score

0.7850780487060547

Recommender Run

Recommender Run 4

0 references

Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker

Similarity Score

0.7620335817337036

Recommender Run

Recommender Run 4

0 references

Overview of formal methods

Similarity Score

0.7579020857810974

Recommender Run

Recommender Run 4

0 references

Similarity Score

0.7441264986991882

Recommender Run

Recommender Run 4

0 references

Similarity Score

0.7391868829727173

Recommender Run

Recommender Run 4

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4934522

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4934522&oldid=47433478"