Funder
INdAM GNCS
Agence nationale de la recherche
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference39 articles.
1. A monitoring tool for linear-time μhml;Aceto,2022
2. Testing telecoms software with quviq QuickCheck;Arts,2006
3. Analysis of programs for parallel processing;Bernstein;IEEE Trans. Electron. Comput.,1966