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

Cole Hosman and Sienna Mae Gomez
Cole Hosman and Sienna Mae GomezMarriage - 31st Jul 2026by jeremiahsercado
Naomi Joël and Jay Zwarts
Naomi Joël and Jay ZwartsChild - 31st Jul 2026by annika_lb
Riley Whittall and Logan Sargeant
Riley Whittall and Logan SargeantEngagement - 30th Jul 2026by annika_lb
Emma Gretzky and Stone Eby
Emma Gretzky and Stone EbyEngagement - 30th Jul 2026by Redhot79
see more
Follow WDW on Facebook
0.402

whosdatedwho.com

copyright - terms - privacy
Mobile Version