【4周达】computer architecture: complexity and correctness

verification with dafny language : proving program correctness

海外直订compositionality, concurrency, and partial correctness

海外直订english as a lingua franca between correctness and

【4周达】on the correctness of gossip-based membership protocols