Control Flow Analysis for Bottom-up Portable Models Creation

Author(s):
Petr Bardonek; Marcela Zachariasova
Type:
Paper