Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London -- Application deadline extended to 17 Oct 2021

Show replies by date

1034
days inactive
1034
days old

finite-model-theory@lists.rwth-aachen.de

0 comments
participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • Matteo Sammartino