| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... Notes in Computer Science , Band 3167) | 978-3-540-46253-8 | 2010 | Ana Cavalcanti · Jim Woodcock |
| Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, ... Notes in Computer Science , Band 6153) | 978-3-642-14334-2 | 2010 | Paulo Borba · Ana Cavalcanti · Jim Woodcook |
| Theoretical Aspects of Computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings | 978-3-319-46749-8 | 2016 | Farn Wang |
| Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, ... in Computer Science , Band 11885) | 978-3-030-31037-0 | 2019 | Pedro Ribeiro |