Formal methods in programming and their applications: international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1993
|
| Series: | Lecture notes in computer science
735 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 433 S. Ill., graph. Darst. |
| ISBN: | 354057316X 038757316X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008214819 | ||
| 003 | DE-604 | ||
| 005 | 19940111 | ||
| 007 | t| | ||
| 008 | 930906s1993 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 931376491 |2 DE-101 | |
| 020 | |a 354057316X |9 3-540-57316-X | ||
| 020 | |a 038757316X |9 0-387-57316-X | ||
| 035 | |a (OCoLC)246323757 | ||
| 035 | |a (DE-599)BVBBV008214819 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-29T |a DE-91G |a DE-19 |a DE-20 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.6.F577 1993 | |
| 082 | 0 | |a 005.1 | |
| 082 | 0 | |a 005.1 20 | |
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Formal methods in programming and their applications |b international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings |c Dines Bjørner ... (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1993 | |
| 300 | |a IX, 433 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 735 | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Nowosibirsk |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Bjørner, Dines |d 1937- |e Sonstige |0 (DE-588)10903046X |4 oth | |
| 711 | 2 | |a International Conference Formal Methods in Programming and Their Applications |d 1993 |c Nowosibirsk |j Sonstige |0 (DE-588)5093889-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 735 |w (DE-604)BV000000607 |9 735 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005422764 | |
Record in the Search Index
| _version_ | 1820874840742035456 |
|---|---|
| adam_text |
TABLE OF CONTENTS
FORMAL SEMANTICS METHODS
THEORY OF DOMAINS AND NEARBY (INVITED PAPER) .1
YU. L. ERSHOV
PREDICATIVE PROGRAMMING - A SURVEY .8
J.GRUNDY
A THREE-VALUED LOGIC FOR REFINEMENT .26
J. GRUNDY
A COMPOSITIONAL SEMANTICS OF COMBINING FORMS FOR GAMMA PROGRAMS 43
D.SANDS
ALGEBRAIC SPECIFICATION METHODS
ALGEBRAIC PROPERTIES OF LOOP INVARIANTS .57
G.FUTSCHEK
AN APPROACH TO PARAMETERIZED FIRST-ORDER SPECIFICATIONS: SEMANTICS,
CORRECTNESS, PARAMETER PASSING .67
W.REIF
ALGEBRAIC MODELLING OF IMPERATIVE LANGUAGES WITH POINTERS .81
A. V.ZAMULIN
SEMANTIC PROGRAM ANALYSIS AND ABSTRACT INTERPRETATION
GALOIS CONNECTION BASED ABSTRACT INTERPRETATIONS FOR STRICTNESS
ANALYSIS (INVITED PAPER) .98
P.COUSOT, R.COUSOT
EFFICIENT CHAOTIC ITERATION STRATEGIES WITH WIDENINGS.128
F.BOURDONCLE
SEMANTIC ANALYSIS OF INTERVAL CONGRUENCES .142
F.MASDUPUY
POLYMORPHIC TYPING FOR CALL-BY-NAME SEMANTICS .156
B. MONSUEZ
LOGIC PROGRAM TESTING BASED ON ABSTRACT INTERPRETATION .170
L.LU, P. GREENFIELD
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/931376491
VIII
ANALYSIS OF SOME SEMANTIC PROPERTIES FOR PROGRAMS OF THE APPLICATIVE
LANGUAGE AL .
V.SABELFELD
SEMANTICS OF PARALLELISM
COMMUNICATION AS UNIFICATION IN PROCESS ALGEBRAS: OPERATIONAL
SEMANTICS (INVITED PAPER) .
PH.JORRAND
FUNCTIONAL DEVELOPMENT OF MASSIVELY PARALLEL PROGRAMS
(INVITED PAPER) .
P.PEPPER, J.EXNER, M.SUDHOLT
OBSERVING SOME PROPERTIES OF EVENT STRUCTURES
I B. VIRBITSKAITE
LOGIC OF PROGRAMS
THE OTHER LINEAR LOGIC (INVITED PAPER) .
M. TAITSLIN, D.ARKHANGELSKY
DURATION CALCULI: AN OVERVIEW (INVITED PAPER)
CH.ZHOU
217
239
251
256
A UNIQUE FORMALISM FOR SPECIFYING AND DESIGNING OBJECTS
IN A PARALLEL ENVIRONMENT .
267
J-P-BAHSOUN, C.SERVIERES, C.SEGUIN
ON THE SMOOTH CALCULATION OF RELATIONAL RECURSIVE EXPRESSIONS OUT OF
IRST-ORDER NON-CONSTRUCTIVE SPECIFICATIONS INVOLVING QUANTIFIERS .
281
A.M.HAEBERER, G.A.BAUM, G.SCHMIDT
SATURATION REPLACES INDUCTION FOR A MINISCOPED LINEAR
TEMPORAL LOGIC . YYYYYY
R.PLIUSKEVICIUS
SOFTWARE SPECIFICATION AND VERIFICATION
F
VRRLATACH T0 REQUIREMENTS ENGINEERING (INVITED PAPER) . 312
F. NTCKL, M.WTRSTNG
R
^PPRACH TO REVERSE ENGINEERING USING FORMAL METHODS 335
G. C.GANNOD, B.H.C. CHENG
IX
ALGEBRAICALLY PROVABLE SPECIFICATION OF OPTIMIZED COMPILATIONS .349
V. LEVIN
FORMAL DERIVATION OF AN ERROR-DETECTING DISTRIBUTED DATA SCHEDULER
USING CHANGELING .363
H.LUTFIYYA, B.MCMILLIN, A.SU
REAL92: A COMBINED SPECIFICATION LANGUAGE FOR REAL-TIME
CONCURRENT SYSTEMS AND PROPERTIES .377
V.NEPOMNIASCHY, N.SHILOV
TRANSFORMATIONAL DEVELOPMENT AND PROGRAM SYNTHESIS
ALGEBRAIC CALCULATION OF GRAPH AND SORTING ALGORITHMS (INVITED PAPER)
394
B.MOLLER
AUTOMATICAL SYNTHESIS OF PROGRAMS WITH RECURSIONS .414
A.P.BELTIUKOV
PARSING IN ISBES .423
E.A.BOITEN
AUTHOR INDEX .434 |
| any_adam_object | 1 |
| author_GND | (DE-588)10903046X |
| building | Verbundindex |
| bvnumber | BV008214819 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6.F577 1993 |
| callnumber-search | QA76.6.F577 1993 |
| callnumber-sort | QA 276.6 F577 41993 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 300f DAT 510f |
| ctrlnum | (OCoLC)246323757 (DE-599)BVBBV008214819 |
| dewey-full | 005.1 005.120 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 005.1 20 |
| dewey-search | 005.1 005.1 20 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008214819</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940111</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930906s1993 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">931376491</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354057316X</subfield><subfield code="9">3-540-57316-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038757316X</subfield><subfield code="9">0-387-57316-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246323757</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008214819</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6.F577 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in programming and their applications</subfield><subfield code="b">international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings</subfield><subfield code="c">Dines Bjørner ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 433 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">735</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Nowosibirsk</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bjørner, Dines</subfield><subfield code="d">1937-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10903046X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference Formal Methods in Programming and Their Applications</subfield><subfield code="d">1993</subfield><subfield code="c">Nowosibirsk</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5093889-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">735</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">735</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005422764</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Nowosibirsk gnd-content |
| genre_facet | Konferenzschrift 1993 Nowosibirsk |
| id | DE-604.BV008214819 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:08Z |
| institution | BVB |
| institution_GND | (DE-588)5093889-7 |
| isbn | 354057316X 038757316X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005422764 |
| oclc_num | 246323757 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-739 DE-384 DE-29T DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| physical | IX, 433 S. Ill., graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings Dines Bjørner ... (ed.) Berlin u.a. Springer 1993 IX, 433 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 735 Computer programming Formal methods (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formalisierung (DE-588)4123217-3 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Nowosibirsk gnd-content Softwareentwicklung (DE-588)4116522-6 s Formalisierung (DE-588)4123217-3 s DE-604 Programmierung (DE-588)4076370-5 s Formale Semantik (DE-588)4122144-8 s Formale Spezifikationstechnik (DE-588)4299725-2 s Bjørner, Dines 1937- Sonstige (DE-588)10903046X oth International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Sonstige (DE-588)5093889-7 oth Lecture notes in computer science 735 (DE-604)BV000000607 735 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings Lecture notes in computer science Computer programming Formal methods (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd Formalisierung (DE-588)4123217-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Formale Semantik (DE-588)4122144-8 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4123217-3 (DE-588)4299725-2 (DE-588)4122144-8 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings |
| title_auth | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings |
| title_exact_search | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings |
| title_full | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings Dines Bjørner ... (ed.) |
| title_fullStr | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings Dines Bjørner ... (ed.) |
| title_full_unstemmed | Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings Dines Bjørner ... (ed.) |
| title_short | Formal methods in programming and their applications |
| title_sort | formal methods in programming and their applications international conference academgorodok novosibirsk russia june 28 july 2 1993 proceedings |
| title_sub | international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings |
| topic | Computer programming Formal methods (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd Formalisierung (DE-588)4123217-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Formale Semantik (DE-588)4122144-8 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Computer programming Formal methods (Computer science) Softwareentwicklung Formalisierung Formale Spezifikationstechnik Formale Semantik Programmierung Konferenzschrift 1993 Nowosibirsk |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005422764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bjørnerdines formalmethodsinprogrammingandtheirapplicationsinternationalconferenceacademgorodoknovosibirskrussiajune28july21993proceedings AT internationalconferenceformalmethodsinprogrammingandtheirapplicationsnowosibirsk formalmethodsinprogrammingandtheirapplicationsinternationalconferenceacademgorodoknovosibirskrussiajune28july21993proceedings |