Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Author: Erik de Vink

Paper accepted at FM 2018

Posted on May 17, 2018May 17, 2018 by Erik de Vink

The paper Deadlock Detection for Actor-based Coroutines by Keyvan Azadbakht, Frank De Boer and Erik de Vink has been accepted for presentation at FM 2018. The Formal Methods symposium will be held as part of …continue reading

Posted in Research

Agenda

March 2021
MTWTFSS
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31     
« Feb   Apr »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box