scientific article; zbMATH DE number 1926610
From MaRDI portal
Publication:4707742
zbMath1012.68033MaRDI QIDQ4707742
Maurizio Proietti, Alberto Pettorossi
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2407/24070273.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programming (68N17) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ The Maude strategy language ⋮ Unnamed Item ⋮ Strategies, model checking and branching-time properties in Maude
This page was built for publication:
