Concepedia
PubMed · 1973 · 111 citations · 0 references
ComputingComputer ScienceFormal MethodsAbstract Interpretation