Menu

Home
Members
Grants
Projects
Publications
Events

Executing and verifying higher-order functional-imperative programs in Maude.

Vlad Rusu and Andrei Arusoaie

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