scientific article; zbMATH DE number 1983047

zbMATH Open1024.68705MaRDI QIDQ4426906

Bertil Ekdahl

Publication date: 18 September 2003

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

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General topics in the theory of software (68N01)

Recommendations

• The intentionality of formal systems 👍 👎
• A formal model of programs 👍 👎
• Computer programming and formal systems 👍 👎
• On formal specification of software components and systems 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4426906)