Search results for: David Harel
Computing in Science & Engineering > 2017 > 19 > 6 > 64 - 71
Current Biology > 2017 > 27 > 12 > 1836-1843.e7
Computing in Science & Engineering > 2017 > 19 > 5 > 58 - 67
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Invited Papers > 22-34
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Objects and Components > 301-316
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Prototyping and Synthesis > 378-398
Natural Computing Series
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 325-354
Lecture Notes in Computer Science > STACS 94 > 631-645