Author/Creator: Kroening, Daniel - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Kroening, Daniel

1. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II : (2015)

Editors:: Kroening, Daniel; Păsăreanu, Corina S
Other Names:: CAV (Conference), 27th
Record Type:: Book
Extent:: 1 online resource (xviii, 469 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I : (2015)

Editors:: Kroening, Daniel; Păsăreanu, Corina S
Other Names:: CAV (Conference), 27th
Record Type:: Book
Extent:: 1 online resource (xxiii, 677 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Program synthesis: challenges and opportunities. (13th October 2017)

Authors:: David, Cristina; Kroening, Daniel
Journal:: Philosophical transactions
Issue:: Volume 375:Number 2104(2017)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Program synthesis: challenges and opportunities. (4th September 2017)

Authors:: David, Cristina; Kroening, Daniel
Journal:: Philosophical transactions
Issue:: Volume 375:Number 2104(2017)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Validation of evolving software. (2015)

Editors:: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Record Type:: Book
Extent:: 1 online resource (viii, 218 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗