Finding Inconsistencies in Programs with Loops.

Temesghen Kahsai Jorge A. Navas Dejan Jovanovic Martin Schäf

Published in: LPAR (2015)

Keyphrases

knowledge base
database
artificial neural networks
social networks
computer science
data model
fixpoint
provably correct