Skip to content

Cludio Vasconcelos

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2017–2017

Best venue rank

Multiconference

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2017SACFrom object-oriented code with assertions to behavioural types.Cludio Vasconcelos, Antnio Ravara