Skip to main content Skip to main navigation menu Skip to site footer
Acta Cybernetica
  • Accepted Papers
  • Current
  • Archives
  • Announcements
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Contact
Search
  • Register
  • Login
  1. Home /
  2. Archives /
  3. Vol 6 No 1 (1983) /
  4. Regular articles

On the verification of abstract data types

  • L. Varga

Downloads

Download data is not yet available.
  • PDF
Published
1983-01-01
How to Cite
Varga, L. (1983). On the verification of abstract data types. Acta Cybernetica, 6(1), 7-12. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3236
  • ACM
  • APA
  • Chicago
  • IEEE
  • Turabian
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX
Issue
Vol 6 No 1 (1983)
Section
Regular articles

Most read articles by the same author(s)

  • I. Fekete, L. Varga, On the formal definition of VDL-objects , Acta Cybernetica: Vol 3 No 3 (1977)
  • L. Varga, Synthesis of abstract algorithms , Acta Cybernetica: Vol 5 No 1 (1980)
Open Journal Systems
Information
  • For Readers
  • For Authors
  • For Librarians
Make a Submission
Most read in last month
  • Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
    64
  • A Geometric Method for Accelerated Sphere Tracing of Implicit Surfaces
    53
  • Evaluating the Performance of Novel JWT Revocation Strategy
    53
  • Rootkit Detection on Embedded IoT Devices
    51
  • Speech De-identification with Deep Neural Networks
    45
Current Issue
  • Atom logo
  • RSS2 logo
  • RSS1 logo
Publisher    
University of Szeged, Institute of Informatics
Publisher's headquarters    
Árpád square 2, H-6720 Szeged, Hungary
Responsible Publisher    
László Nyúl
Editor-in-chief    
Tibor Csendes
Managing editor    
Boglárka G.-Tóth
ISSN    
0324-721X (Print)
ISSN    
2676-993X (Online)
 
 
About this Publishing System