Computer Aided Verification: 23rd International Conference, ...
Preview
... Susmit Jhala, Ranjit Jiang, Jie-Hong Roland Jin, Hoonsang Jin, Naiyong Jobstmann, Barbara Jones, Robert Junttila, ... King, Andy Kishinevsky, Michael Kodakara, Sreekumar Kotker, Jonathan Krepska, Elzbieta Krstic, Sava Kwiatkowska, ...