Sergiy A. Vilkomir

From MaRDI portal
Person:2432225



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal Aspects of Computing
2006-10-25Paper
scientific article; zbMATH DE number 2080006 (Why is no real title available?)2004-08-03Paper


Research outcomes over time


This page was built for person: Sergiy A. Vilkomir