Guus Bosman

software engineering director


You are here

vu

Studying

Working on the 4th assignment of Formal Methods: an analysis of the bounded retransmission protocol. This is a protocol designed by Philips, used in remote controls for TV's.

Recent comments

Recently read

Books I've recently read: