Author
Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(518998.1)
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number
XX(519028.1)
Electronic Access
Format:
Availability
Online Library~1
Copies: