scientific article; zbMATH DE number 1947732

zbMATH Open1018.68630MaRDI QIDQ4411717

Andrés Farías, Mario Südholt

Publication date: 9 July 2003

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

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Distributed systems (68M14)

Related Items (1)

Proving correctness w.r.t. specifications with hidden parts

Uses Software

• 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 Q4411717)