Nicholas J Plant

1PUBLICATIONS
1CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jul 21, 2017
MUFINS: multi-formalism interaction network simulator.

Huihai Wu, Axel von Kamp, Vytautas Leoncikas

Pageof 1

Frequent Collaborators

1 joint publications

Catherine Linley