Juuso 

programming languages & logic and verification
See subscribers