Julien Lange - MSR 2018

Write a Blog >>

Mon 28 - Tue 29 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