Nabil M. Kabbani

According to our database, Nabil M. Kabbani authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.

Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015