Julien Lange - ICPC 2018

Sun 27 - Mon 28 May 2018 Gothenburg, Sweden

co-located with * ICSE 2018 *

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