Work

Bridging the gap between refinement and heuristics in abstraction

Year: 2013
Type: conference-paper
Language: English
Open Access status: closed
OpenAlex ID: W31576638
FWCI: 0.459
Cites: 49
Cited by: 15
Related to: 10