Vaughan Lewis

According to our database, Vaughan Lewis authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2017

An integrated semantics for reasoning about SysML design models using refinement.

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis

Softw. Syst. Model., 2017