You are here

Workshop "Formal Methods in Software Product Line Engineering" accepted

Good news: The workshop "Formal Methods in Software Product Line Engineering" (FMSPLE) proposed by members of the HATS consortium at the Software Product Line Conference (SPLC) 2010 has been accepted.

SPLC is the premier forum for practitioners, researchers and educators to present and discuss experiences, ideas, innovations as well as concerns in the area of software product lines.