Search results for: Michael Whalen
Gender, Work & Organization > 30 > 6 > 1922 - 1940
Lecture Notes in Computer Science > Automated Deduction—CADE-18 > CASC > 290-294
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 68-84
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 266-285
IEEE Journal of Solid-State Circuits > 2016 > 51 > 1 > 230 - 239
BMC Neuroscience > 2016 > 17 > 1 > 1-11
IEEE Transactions on Software Engineering > 2015 > 41 > 11 > 1119 - 1137
IEEE Transactions on Software Engineering > 2015 > 41 > 8 > 803 - 819