Original language | English |
---|---|

Title of host publication | Proceedings of the IBM Symposium on Mathematical Foundations of Computer Science: The theory of programs and its surroundings Volume 1 |

Publisher | IBM Japan |

Number of pages | 30 |

Volume | 1 |

Publication status | Published - 1976 |

# LCF: A methodology for performing rigorous proofs about programs (Invited Paper)

Robin Milner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution