Search Results for Podelski, Andreas.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPodelski$00252C$002bAndreas.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2024-10-21T15:51:01Z
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485241
2024-10-21T15:51:01Z
2024-10-21T15:51:01Z
Author Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05529-5">https://doi.org/10.1007/978-3-030-05529-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400131
2024-10-21T15:51:01Z
2024-10-21T15:51:01Z
Author Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185875
2024-10-21T15:51:01Z
2024-10-21T15:51:01Z
Author Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69738-1">http://dx.doi.org/10.1007/978-3-540-69738-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2024-10-21T15:51:01Z
2024-10-21T15:51:01Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>