scientific article; zbMATH DE number 2084338

zbMATH Open1073.68548MaRDI QIDQ3043820FDOQ3043820

Vahur Kotkas, Kristiina Kindel, Mait Harf, Peep Küngas, É. Kh. Tyugu

Publication date: 6 August 2004

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Constructive system for automatic program synthesis 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Programmable program synthesis 👍 👎

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