Kenneth L. McMillan

Person information

  • affiliation: University of Texas Austin, Austin, USA
  • affiliation: Microsoft Research, Redmond, USA
  • award (1998): Paris Kanellakis Award

Refine list

showing all ?? records

2020 – today

2010 – 2019

2000 – 2009

1990 – 1999

Coauthor Index

a service of  Schloss Dagstuhl - Leibniz Center for Informatics