Search results for: Peter Grogono
Procedia Computer Science > 2017 > 109 > C > 241-248
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 41-71
Lecture Notes in Computer Science > ECOOP 2000 — Object-Oriented Programming > Object Relations > 226-250
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 385-404
Procedia Computer Science > 2016 > 83 > C > 700-704
Procedia Computer Science > 2015 > 52 > Complete > 530-537
2007 IEEE Symposium on Artificial Life > 425 - 432
Pattern Analysis and Applications > 2005 > 8 > 1-2 > 149-162