Alexander Sepp

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Relational Structures

Specification Language

Top Venues

Electron. Notes Theor. Comput. Sci.

NASA Formal Methods

Publications