DMCA
A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (2009)
by Unknown Authors
BibTeX
@MISC{09aframework,
author = {},
title = {A Framework for Specifying, Prototyping, and Reasoning about Computational Systems},
year = {2009}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
ar
