I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Invariant Synthesis for Programs Manipulating Arrays with U..:

, In: Proceedings of the 7th Asia-Pacific Symposium on Internetware,
Bin, Li ; Zhenhao, Tang ; Jianhua, Zhao - p. 195-198 , 2015
Link: https://dl.acm.org/doi/10.1145/2875913.2875942