David Jefferson

From MaRDI portal
Revision as of 01:40, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2822494

Available identifiers

zbMath Open jefferson.david.1MaRDI QIDQ2822494

List of research outcomes





PublicationDate of PublicationType
Reverse Code Generation for Parallel Discrete Event Simulation2016-09-30Paper
Synthesizing Loops for Program Inversion2015-11-30Paper

Research outcomes over time

This page was built for person: David Jefferson