Author: Mike Hinchey

Hallsteinsen, Svein, Hinchey, Mike, Park, Sooyong, Schmid, Klaus (2008): Dynamic Software Product Lines. In IEEE Computer, 41 (4) pp. 93-95. https://doi.ieeecomputersociety.org/10.1109/MC.2008.123

Hinchey, Mike, Jackson, Michael, Cousot, Patrick, Cook, Byron, Bowen, Jonathan P., Margaria, Tiziana (2008): Software engineering and formal methods. In Communications of the ACM, 51 (9) pp. 54-59. https://dl.acm.org/doi/10.1145/1378727.1378742