scientific article
From MaRDI portal
Publication:2703707
zbMath0962.68106MaRDI QIDQ2703707
Francisco Durán, José Meseguer
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
This page was built for publication:
