Menu

Home
Members
Grants
Projects
Publications
Events

A generic framework for symbolic execution: A coinductive approach

Vlad Rusu and Andrei Arusoaie and Dorel Lucanu

ScienceDirect BIB

Sidebar

Meta

Log in
Entries feed
Comments feed
WordPress.org

© Formal Methods in Software Engineering | powered by the WikiWP theme and WordPress. | RSS