[PVS] Case Opened - 02972089 - FME Teaching Tutorial on November 28, 2025 @ 10 am CET: Prof Graeme Smith, University of Queensland, Australia, on "Autograding weakest precondition proofs and Dafny specifications"

[onlinebill...@quest.com]

We have received your inquiry.  We will review and assign your case shortly.

Please reply to this thread or reference this case number in any other 
correspondence regarding this inquiry.

Case: 02972089


[ ref:_00D30n44B._500RPdG881:ref ]