Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Computer Aided Verification
nidottu,
2015,
englanti,
ISBN 9783319216676
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San …