Mike Stannett

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 17

Top Topics

Pspace Complete

Formal Verification

Top Venues

Arch. Formal Proofs

Int. Conf. on Membrane Computing

Publications