Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > pl.comp.programming > #31564

Re: Formal Methods Toolkit

From Roman Tyczka <noemail@because.no>
Subject Re: Formal Methods Toolkit
Newsgroups pl.comp.programming
References <dd72cd71-0bb8-4b7e-ba81-97dace215a14@googlegroups.com> <pblad3$v5n$2@node1.news.atman.pl>
Date 2018-04-24 13:30 +0200
Message-ID <dzlh4m71z56p$.dlg@tyczka.com> (permalink)
Organization Telekomunikacja Polska

Show all headers | View raw


On Mon, 23 Apr 2018 20:58:41 +0200, denat 'POPIS/EU wrote:

> uwaga atak:
> rozpoznaje dźwięki?

https://www.youtube.com/watch?v=j9ejj_fD-P0

-- 
pozdrawiam
Roman Tyczka

Back to pl.comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Formal Methods Toolkit Maciej Sobczak <see.my.homepage@gmail.com> - 2018-04-22 23:46 -0700
  Re: Formal Methods Toolkit denat 'POPIS/EU <NOSPAMtestowanije@go2.pl> - 2018-04-23 20:58 +0200
    Re: Formal Methods Toolkit Roman Tyczka <noemail@because.no> - 2018-04-24 13:30 +0200
  Re: Formal Methods Toolkit michal@kleczek.org - 2018-05-05 00:12 -0700
    Re: Formal Methods Toolkit Maciej Sobczak <see.my.homepage@gmail.com> - 2018-05-05 12:45 -0700

csiph-web