Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bjørner, Nikolaj S. - Department of Computer Science, Stanford University
Railway control design by combining Specware and Mathematica John Anton 1 , Nikolaj Bjrner 1 , and Johan Gunnarsson 2
Type checking meta programs A slightly shorter version appears in Workshop on Logical Frameworks and Metalanguages
