Linas Laibinis

• Mechanised formal reasoning about modular programs