RUN: Browsing Repository

Browsing by Author Bravetti, Mario

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 2 of 2

Issue Date	Title	Author(s)	Type	Access Type
1-Sep-2022	A Java typestate checker supporting inheritance	Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, João; Ravara, António	article
Sep-2024	Behavioural Up/down Casting For Statically Typed Languages	Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, João; Ravara, António	conferenceObject

Showing results 1 to 2 of 2