Sampling invariants from frequency distributions

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík. Sampling invariants from frequency distributions. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 100-107, IEEE, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.