Moshe Emmer

From MaRDI portal
Person:2908491

Available identifiers

zbMath Open emmer.mosheMaRDI QIDQ2908491

List of research outcomes





PublicationDate of PublicationType
EPR-Based Bounded Model Checking at Word Level2012-09-05Paper

Research outcomes over time

This page was built for person: Moshe Emmer