Lukas Convent

Geeky Projects and Writings.

TeSSLa: Temporal Stream-Based Specification Language