WDW
  • popular
  • trending
  • lists
  • login

Formal specification languages

  • Denotational semantics
  • Hardware verification languages
  • Petri nets
    Petri nets
  • Process calculi
  • Synchronous programming languages
  • Temporal logic
  • Z notation

Latest Activity

Latest Events

Paulien Cornelisse and Chris Bajema
Paulien Cornelisse and Chris BajemaBreakup - 30th Sep 2026by missepticeye
Lil' Wayne and Madi Cannon
Lil' Wayne and Madi CannonEngagement - 29th Sep 2026by missepticeye
Paul 'Pauly D' DelVecchio and Nikki Hall (personality)
Paul 'Pauly D' DelVecchio and Nikki Hall (personality)Engagement - 27th Sep 2026by Redhot79
Nathan Osmond and Annalee LundellEngagement - 27th Sep 2026by missepticeye
see more
Follow WDW on Facebook
0.406

whosdatedwho.com

copyright - terms - privacy
Mobile Version