🚀 go-pugleaf

         Request for Participation: Formal Methods in Industry Survey

We are collecting information about the benefits, limitations and barriers to 
the use of formal methods. We would like you to participate in answering a 
questionnaire on these topics.

This questionnaire is aimed at people who work in industry which includes people
working in the areas of Software/Hardware Engineering, Systems Engineering,
Safety Critical Systems etc.

With the questionnaire there are a some notes that may provide a stimulus when 
answering the questions. The questionnaire and notes can be retrieved in 
electronic form from our information server in both plain ascii and LaTeX
formats. Send the following text to this e-mail address: 
info-server@seg.npl.co.uk (You should leave the Subject field empty)

  request: formal-methods
  topic: industrial
  topic: notes
  topic: industrial-tex
  topic: notes-tex
  request: end

This will return to you a copy of the questionnaire and notes in plain ascii and
LaTeX formats. Once you have filled in the questionnaire could you please
e-mail this back to us using the following e-mail address: sma@seg.npl.co.uk

If you have any problems retrieving the questionnaire/notes please send a message
describing your problem to: sma@seg.npl.co.uk

If you would rather have paper versions of the questionnaire and notes then
send a note with your name and address to: sma@seg.npl.co.uk 
  OR
a written message with your name and address to

  Steve Austin
  DITC
  National Physical Laboratory
  Queens Road
  Teddington
  Middlesex
  TW11 0LW
  UK
 
  Telephone: +44 81 943 6470

PLEASE NOTE: All completed questionnaires must be back with us by 7th
September 1992.

     Thanks,
       Steve Austin.