2011 | OriginalPaper | Chapter
5. Hoare Logic

Authors: Dr. José Bacelar Almeida, Dr. Maria João Frade, Dr. Jorge Sousa Pinto, Dr. Simão Melo de Sousa
Publisher: Springer London
Log in2011 | OriginalPaper | Chapter
Authors: Dr. José Bacelar Almeida, Dr. Maria João Frade, Dr. Jorge Sousa Pinto, Dr. Simão Melo de Sousa
Publisher: Springer London
Log inPrint ISBN: 978-0-85729-017-5
Electronic ISBN: 978-0-85729-018-2
Copyright Year: 2011
https://doi.org/10.1007/978-0-85729-018-2
Version: 201802052232-1003