Montgomery Carter

According to our database, Montgomery Carter authored at least 3 papers between 2015 and 2016.

Collaborative distances:

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

2016

Six general ecosystem properties are more intense in biogeochemical cycling networks than food webs.

Stuart R. Borrett, Montgomery Carter, David E. Hines

J. Complex Networks, 2016

SMACK software verification toolchain.

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

SMACK+Corral: A Modular Verifier - (Competition Contribution).

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015