M. Accetta is an author at Carnegie Mellon University specializing in system software, network management, and formal verification.
Top concepts
EngineeringNetwork CodingSystem SoftwareComputer ScienceProgram AnalysisNetwork ProtocolsOperating SystemsSoftware AnalysisNetwork ManagementFormal Verification
Publications per year
1987–1987
2
2
Rows per page
1–2 of 2