Article citationsMore>>

Ahrendt, W., Beckert, B., Bubel, R., et al. (2016) Lecture Notes in Computer Science. In: Ahrendt, W., Beckert, B., Bubel, R., H?hnle, R., Schmitt, P.H. and Ulbrich, M., Eds., Deductive Software Verification—The Key Book, SpringerLink, Berlin.

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top