Bruno Langenstein

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 0

Top Topics

Specification Languages

Kernel Function

Mutual Subspace Method

Formal Languages

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Arch. Formal Proofs

Publications