Proceedings of the ACL 2010 System Demonstrations - Concepedia

Concepedia

Publication | Closed Access

Proceedings of the ACL 2010 System Demonstrations

102

Citations

0

References

2010

Year

Mikko Kurimo, Bill Byrne, J. Dines, Philip N. Garner, Matthew Gibson, Yong Guan, Teemu Hirsimäki, Reima Karhila, Simon King, Hui Liang,

Unknown Venue

Formal SpecificationEngineeringAutomated ReasoningMechanical VerificationVerificationFormal MethodsSystems EngineeringComputer ScienceSystem DemonstrationsFormal Verification

No additional data available for this publication yet. Check back later!