Journal of Symbolic Computation

Title Titel

e-ISSN

1095-855X

ISSN

0747-7171

Publisher Herausgeber

ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD

Publisher's Address Herausgeber Adresse

24-28 OVAL RD, LONDON, ENGLAND, NW1 7DX

Listed in SCI Aufgelistet im SCI

Peer reviewed Begutachtet

Filter:

Author: Zwirchmayr, Jakob

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Knoop, Jens ; Kovács, Laura ; Zwirchmayr, Jakob	Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution	Article Artikel	2017