Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Նմանատիպ նյութեր

• Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
• Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
• Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
• Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security
• Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
  : Lindsay