Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar Verifying a class: combining testing and proving. (English) Zbl 1215.68132 Fundam. Inform. 95, No. 2-3, 305-324 (2009). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{G. Mirkowska} et al., Fundam. Inform. 95, No. 2--3, 305--324 (2009; Zbl 1215.68132) Full Text: DOI
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. (English) Zbl 1159.68360 Fundam. Inform. 85, No. 1-4, 1-17 (2008). MSC: 68N01 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{G. Mirkowska} et al., Fundam. Inform. 85, No. 1--4, 1--17 (2008; Zbl 1159.68360)
Mirkowska, Grazyna; Salwicki, Andrzej; Srebrny, Marian; Tarlecki, Andrzej First-order specifications of programmable data types. (English) Zbl 0980.68070 SIAM J. Comput. 30, No. 6, 2084-2096 (2001). MSC: 68Q60 68P05 68Q65 PDF BibTeX XML Cite \textit{G. Mirkowska} et al., SIAM J. Comput. 30, No. 6, 2084--2096 (2001; Zbl 0980.68070) Full Text: DOI
Mirkowska, Grazyna; Salwicki, Andrzej The algebraic specifications do not have the Tennenbaum property. (English) Zbl 0863.68091 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 1-2, 141-152 (1996). MSC: 68Q60 PDF BibTeX XML Cite \textit{G. Mirkowska} and \textit{A. Salwicki}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 1--2, 141--152 (1996; Zbl 0863.68091)
Mirkowska, G. (ed.); Salwicki, A. (ed.) Selected papers of the 14th symposium on mathematical foundations of computer science, MFCS ’89, held in Porabka-Kozubnik, Poland, on August 28 to September 1, 1989. (English) Zbl 0724.00027 Theoretical Computer Science, 80, No. 2. Amsterdam: Elsevier Science Publishers B. V. p. 123-356 $ 3.50 (1991). MSC: 00B25 68-06 PDF BibTeX XML Cite \textit{G. Mirkowska} (ed.) and \textit{A. Salwicki} (ed.), Selected papers of the 14th symposium on mathematical foundations of computer science, MFCS '89, held in Porabka-Kozubnik, Poland, on August 28 to September 1, 1989. Amsterdam: Elsevier Science Publishers B. V. (1991; Zbl 0724.00027)
Mirkowska, G.; Salwicki, A. Algorithmic logic. (English) Zbl 0648.03018 Dordrecht etc.: D. Reidel Publishing Company, a member of the Kluwer Academic Publishers Group; Warszawa: PWN - Polish Scientific Publishers. XI, 372 p.; Dfl. 185.00; $ 79.00; £55.25 (1987). Reviewer: N.Curteanu MSC: 03B70 68Q65 03-02 68-02 03B45 68W99 PDF BibTeX XML
Mirkowska, Grzyna; Salwicki, Andrzej On axiomatic definition of max-model of concurrency. (English) Zbl 0626.68018 Mathematical models for the semantics of parallelism, Proc. Adv. Sch., Rome/Italy 1986, Lect. Notes Comput. Sci. 280, 199-230 (1987). MSC: 68N25 PDF BibTeX XML
Mirkowska, G.; Salwicki, A. On applications of algorithmic logic. (English) Zbl 0585.68014 Trees in algebra and programming, Proc. 11th Colloq., Nice/France 1986, Lect. Notes Comput. Sci. 214, 288-306 (1986). MSC: 68N01 PDF BibTeX XML
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. (English) Zbl 0358.68035 Math. Found. Comput. Sci., Banach Cent. Publ. 2, 7-99 (1977). MSC: 68N01 68W99 03B05 03B10 PDF BibTeX XML Full Text: Link EuDML
Mirkowska, G.; Salwicki, A. A complete axiomatic characterization of algorithmic properties of block- structured programs with procedures. (English) Zbl 0347.68013 Math. Found. Comput. Sci., Proc. 5th MFCS Symp., Gdansk 1976, Lect. Notes Comput. Sci. 45, 602-606 (1976). MSC: 68N01 PDF BibTeX XML