Concepedia

Mihaela Gheorghiu Bobaru

MG

1

Publications

129

Citations

1

H-Index

2008

Active since

Affiliations

Ames Research Center(Current)

Mihaela Gheorghiu Bobaru is an author at Ames Research Center specializing in automated reasoning, formal verification, and computer science.

Top concepts

Publications per year

2008–2008

1

Publications

1

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning

Corina S. Păsăreanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru et al. · Formal Methods in System Design · 2008 · 129 citations

, , +12

Rows per page

1–1 of 1