scientific article; zbMATH DE number 5967633

zbMATH Open1240.68130MaRDI QIDQ3095693FDOQ3095693

Florentin Ipate

Publication date: 3 November 2011

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

zbMATH Keywords

test generationagile development processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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