For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
1,013
views
0
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
1 collections
    4
    shares
      193
      similar
       All similar

      UK Computing Summit 2025: Navigating change (surviving and beyond) - 29-30 April @ Sheffield Hallam University - Register here.

      scite_
      0
      0
      0
      0
      Smart Citations
      0
      0
      0
      0
      Citing PublicationsSupportingMentioningContrasting
      View Citations

      See how this article has been cited at scite.ai

      scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Formal Development of Correct Classes in Computational Logic

      Published
      proceedings-article
      Author(s): , ,
      Publication date (Print):
      Conference name: Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)
      Conference theme: Northern Formal Methods
      Conference date: 23-24 September 1996
      Keywords:
      Bookmark

            Abstract

            Content

            Author and article information

            Contributors
            Kung-Kiu Lau
            Chris Moss
            Mario Ornaghi
            Conference
            Publication date: September 1996
            Publication date (Print): September 1996
            Pages: 1-14
            Affiliations
            [0001]Department of Computer Science, University of Manchester

            Oxford Road, Manchester M13 9PL, United Kingdom
            [0002]Department of Computing, Imperial College

            180 Queen’s Gate, London SW7 2BZ, United Kingdom
            [0003]Dipartimento di Scienze dell’Informazione

            Universita’ degli studi di Milano

            Via Comelico 39/41, Milano, Italy
            Article
            DOI: 10.14236/ewic/FA1996.12
            SO-VID: 1068fba9-4123-4168-b07b-3d0262f9edf6
            Copyright © © Kung-Kiu Lau et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK
            License:

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Conference name: Proceedings of the BCS-FACS Northern Formal Methods Workshop
            Conference acronym: NFM
            Conference number:
            Conference location: Ilkley, UK
            Conference date: 23-24 September 1996
            Conference sponsor: Electronic Workshops in Computing (eWiC)
            Conference theme: Northern Formal Methods
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.12
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Series title: Electronic Workshops in Computing

            ScienceOpen disciplines: Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article