scientific article; zbMATH DE number 2090128
From MaRDI portal
Publication:4808820
zbMath1064.68536MaRDI QIDQ4808820
Mark Utting, Bruno Legeard, Fabien Peureux
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2391/23910021.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Complete open-state testing of limitedly nondeterministic systems ⋮ Symbolic Model-based Test Selection ⋮ Mutation testing in UTP ⋮ Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
This page was built for publication:
