Julien Lange - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Registered user since Sun 17 Dec 2017

Name:Julien Lange

Country:United Kingdom

Affiliation:University of Kent

Personal website: https://www.cs.kent.ac.uk/people/staff/jl703/

Contributions

2018

ICSE

A Static Verification Framework for Message Passing in Go using Behavioural Types

Show activities from other conferences

* ICSE 2018 *-profile
View general profile